Higher-order functions - PDFSEARCH.IO - Document Search Engine

Higher-order functions
Results: 290

#	Item
141	Part III Functions as Data By now you’re accustomed to the idea of expressing a computational process in terms of the function whose value you want to compute, rather than in terms of a sequence of actions. But you pro Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:14 Subroutines Functions and mappings Functional programming Function Mathematical logic Sentence Parameter Higher-order function Algorithm Software engineering Computer programming Computing
142	Extended Abstract Preprint for IFL[removed]Flipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Category theory Higher-order functions Adjoint functors Functional programming Fold Recursion Map Monad Combinatorial species Abstract algebra Declarative programming Software engineering
143	Once you see how it works, it’s not so mysterious. 21 Example: The Functions Program Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:19 Subroutines Functional programming Lambda calculus Higher-order functions Computability theory Function Main function Parameter Scheme Software engineering Computer programming Computing
144	The function f (x , y ) = sin xy plotted by computer 2 Functions Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:11 Declarative programming Subroutines Lambda calculus Functional programming Higher-order functions Function Parameter C++ classes Domain of a function Mathematics Software engineering Functions and mappings
145	Extracted from: Programming Elixir Functional \|> Concurrent \|> Pragmatic \|> Fun This PDF file contains pages extracted from Programming Elixir, published by the Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2015-04-02 14:33:50 Recursion Higher-order functions Programming idioms Subroutines Data types Fold Map Function Irish Enterprise Exchange Software engineering Computer programming Computing
146	Modules Types Integer! 1234 0xcafe 0177 0b100 10_000 cheat Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2014-10-15 13:53:57 Higher-order functions Procedural programming languages Map Formal languages Parsing Expr Attribute grammar Filter ALGOL 68 Computing Software engineering Computer programming
147	Open Data Types and Open Functions Andres L¨oh Ralf Hinze Institut f¨ur Informatik III, Universit¨at Bonn Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Type theory Functional programming Data types Recursion Higher-order functions Generalized algebraic data type Algebraic data type Eval Type system Software engineering Computing Computer programming
148	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
149	Making a Century in HERMIT Extended Abstract Neil Sculthorpe Computer Science Department Swansea University {N.A.Sculthorpe}@swansea.ac.uk Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Higher-order functions Functional languages Functional programming Automated theorem proving Type theory Haskell Fold Map QuickCheck Software engineering Computing Declarative programming
150	Microsoft Word - Chroma37.doc Add to Reading List Source URL: acma.asn.au Language: English - Date: 2006-04-05 10:00:00 Subroutines Recursion Higher-order functions Lambda calculus Impromptu Computer music Fold Callback Scheme Software engineering Computing Computer programming

UPDATE